1. Automated Reasoning
پدیدآورنده : / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Automatic theorem proving--Congresses,Computer logic--Congresses
2. Automated reasoning
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ; Computer logic ; Congresses. ;
3. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
پدیدآورنده : Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2083
4. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
پدیدآورنده : David Basin, Michael Rusinowitch )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3097
5. Automated reasoning : third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
پدیدآورنده : Ulrich Furbach, Natarajan Shankar )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
4130
